1. Mathematics mechanization
پدیدآورنده: / by Wu Wen-tsun
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence
رده :
QA76
.
9
.
A96
,
W8
2000
2. Mathematics mechanization
پدیدآورنده: / by Wu Wen-tsun
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence
رده :
QA76
.
9
.
A96
,
W8
2000
3. Mathematics mechanization
پدیدآورنده: / by Wu Wen-tsun
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence
رده :
QA76
.
9
.
A96
,
W8
2000
4. Mathematics mechanization
پدیدآورنده: / by Wu Wen-tsun
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence
رده :
QA76
.
9
.
A96
,
W8
2000
5. Mathematics mechanization and applications
پدیدآورنده: edited by Xiao-Shan Gao and Dongming Wang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Automatic theorem proving,Numerical solutions ، Equations,، Artificial intelligence,، Programming )Mathematics(
رده :
QA
76
.
9
.
A96
M34
2000
